The Concept of Box Invariance for special classes of Dynamical Systems
نویسندگان
چکیده
In this paper we introduce the concept of Box Invariance for dynamical systems. The notion has been inspired by experience with models drawn from Biology; in fact, we claim that Box Invariance is a characteristic of many biologically-inspired dynamical models. Moreover, Box Invariance property turns out to be quite useful for formally verifying safety properties of dynamical systems. Effective characterization of this notion, the study of the dynamical properties it subsumes and a comparison with related concepts in the literature will be investigated for the case of linear and affine systems. Applications from the biological world will be provided throughout the manuscript.
منابع مشابه
The concept of Box Invariance for biologically- inspired dynamical systems
In this paper we introduce a special notion of Invariance Set for certain classes of dynamical systems: the concept has been inspired by our experience with models drawn from Biology. We claim that Box Invariance, that is, the existence of “boxed” invariant regions, is a characteristic of many biologically-inspired dynamical models, especially those derived from stoichiometric reactions. Moreov...
متن کاملThe concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کاملDynamical distance as a semi-metric on nuclear conguration space
In this paper, we introduce the concept of dynamical distance on a nuclear conguration space. We partition the nuclear conguration space into disjoint classes. This classification coincides with the classical partitioning of molecular systems via the concept of conjugacy of dynamical systems. It gives a quantitative criterion to distinguish dierent molecular structures.
متن کاملBox Invariance of Hybrid and Switched Systems
This paper investigates the concept of box invariance for classes of hybrid and switched systems. After motivating and defining the notion, we present a concise summary of results on its characterization for single-domain dynamical systems. The notion is then extended to the case of hybrid and switched systems. We provide sufficient conditions for a hybrid or switched system to be box invariant...
متن کاملEntropy operator for continuous dynamical systems of finite topological entropy
In this paper we introduce the concept of entropy operator for continuous systems of finite topological entropy. It is shown that it generates the Kolmogorov entropy as a special case. If $phi$ is invertible then the entropy operator is bounded with the topological entropy of $phi$ as its norm.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006